Programming language implementation - PDFSEARCH.IO - Document Search Engine

Programming language implementation
Results: 1978

#	Item
31	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Aluminium Add to Reading List Source URL: frama-c.com Language: English - Date: 2016-06-01 04:33:33 Software engineering Software Computing C Programming language implementation Frama-C Data types Undefined behavior Integer overflow C99 Exception handling Unspecified behavior
32	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Higher-Level Techniques for Hardware Description and Synthesis Alan Mycroft, Richard Sharp Add to Reading List Source URL: rich.recoil.org Language: English - Date: 2006-04-13 14:58:02 Software engineering Computer programming Computing Subroutines Electronic design automation Compiler construction Programming language implementation Theoretical computer science High-level synthesis Recursion Compiler Inline expansion
33	St Andrews Algol to Javascript compiler project William Trend March Add to Reading List Source URL: info.cs.st-andrews.ac.uk Language: English - Date: 2016-08-19 08:58:22 Software engineering Computer programming Programming language theory Procedural programming languages Compiler construction Programming language implementation Parsing Scripting languages ALGOL S-algol Compiler XPL
34	c Cambridge University Press 2010 JFP 20 (1): 3–18, 2010. � 3 doi:S0956796809990281 Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2013-06-14 09:02:56 Software engineering Computing Computer programming Source code Programming language implementation Functional languages Compiler construction Transformation languages Syntax Macro Programming language Compiler
35	Composition and Reuse with Compiled Domain-Specific Languages Arvind K. Sujeeth1 , Tiark Rompf2,3 , Kevin J. Brown1 , HyoukJoong Lee1 , Hassan Chafi1,3 , Victoria Popic1 , Michael Wu1 , Aleksandar Prokopec2 , Vojin Jovan Add to Reading List Source URL: axel22.github.io Language: English - Date: 2016-08-13 13:11:44 Software engineering Computing Software Programming language implementation Programming paradigms Functional languages Domain-specific language Object-oriented programming languages Scripting languages Preprocessor Metaprogramming Red
36	Chapter 3 Machine-Level Representation of Programs Computers execute machine code, sequences of bytes encoding the low-level operations that manipulate data, manage memory, read and write data on storage devices, and co Add to Reading List Source URL: csapp.cs.cmu.edu Language: English - Date: 2010-02-14 14:17:20 Computing Software Computer architecture Programming language implementation Compiler construction Central processing unit X86 architecture GNU Compiler Collection X86-64 Data structure alignment X86 Optimizing compiler
37	DAME: A Runtime-Compiled Engine for Derived Datatypes Tarun Prabhu William Gropp Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2015-09-22 08:47:35 Computing Software engineering Computer programming Parallel computing Programming language implementation Compiler construction Application programming interfaces Fortran OpenMP MPICH XPL Sequential access
38	Library Generators and Program Optimization María Garzarán and David Padua Department of Computer Science University of Illinois at Urbana-Champaign Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-10-11 16:37:23 Software Computing Compiler construction Programming language implementation Compiler Program optimization Numerical software Numerical linear algebra Parallel computing
39	SACK: a Semantic Automated Compiler Kit Colby T. Skeggs Applications o Rapid architecture testing o Automatically-generated architectures: o For security Add to Reading List Source URL: www.celskeggs.com Language: English Software Computing Computer architecture Compilers Instruction set architectures Programming language implementation Machine code GNU Compiler Collection X86 Assembly language LLVM NOP
40	2016 JLAC TECHNICAL INFORMATION SEMINAR PROGRAM (as of) ■ Date and Time: Tuesday, 6 September:30 to 16:30 (doors open at 12:00) ■ Venue: CURIAN* (Shinagawa Community Center Hall) 8th Floor Main Hal Add to Reading List Source URL: www.accreditation.jp Language: English - Date: 2016-07-28 01:13:23 Software Standards organizations Programming language implementation Quality assurance Accreditation GNU Compiler Collection International Organization for Standardization ISO/IEC 17025